framework-aware static analysis